CatDat

Implication Details

Assumptions: self-dualℵ₂-small coproducts

Conclusions: ℵ₂-small products

Proof: This holds by self-duality.